Model checkers - PDFSEARCH.IO - Document Search Engine

Model checkers
Results: 102

#	Item
61	Verification of Probabilistic  Real-time Systems    Dave Parker      Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-08-29 08:21:43 Probability and statistics Model checking PRISM model checker Markov chain Markov decision process Construction and Analysis of Distributed Processes Statistics Markov processes Model checkers
62	Design and Analysis of  DNA Strand Displacement Devices  using Probabilistic Model Checking  Dave Parker  School of Computer Science, University of Birmingham Joint work with: Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-15 10:32:21 Statistics Model checking PRISM model checker PAT Formal verification Markov chain Scientific modelling Stochastic SPIN model checker Model checkers Theoretical computer science Applied mathematics
63	NuSMV 2.2 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-05-05 13:52:00 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Electrical engineering Model checkers NuSMV
64	Automated Game-theoretic Verification for Probabilistic Systems   Dave Parker  University of Birmingham Imperial College London, December 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-12-13 17:18:55 Model checkers Mathematical logic Formal languages PRISM model checker Model checking Markov chain Stochastic Well-formed formula Linear temporal logic Logic Statistics Mathematics
65	NuSMV 2.1 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Marco Pistore, and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:14:57 Software Model checking Electromagnetism Boolean algebra Finite-state machine Inverter Semaphore Model checkers NuSMV Electrical engineering
66	Quan%ta%ve Veriﬁca%on: Correctness, Reliability and Beyond Dave Parker University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 17:08:31 Statistics Applied mathematics SPIN model checker Mathematics Markov chain PRISM model checker Algorithm Probability Model checkers Markov models Theoretical computer science
67	TwoTowers 5.1 User Manual Marco Bernardo January[removed]c 2006 Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2006-01-17 11:35:25 Applied mathematics Model checking Logic in computer science Bisimulation Functional verification Mathematics Computer science Model checkers NuSMV Theoretical computer science
68	7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2002-06-24 05:00:37 Science Model checking Software Model checkers Verification and validation PRISM model checker Abstraction Formal verification Formal methods Software development Software testing
69	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Model checking PRISM model checker Uppaal Model Checker PAT Scientific modelling Probabilistic automaton Markov chain Economic model Stochastic Model checkers Probability Statistics
70	NuSMV 2: An OpenSource Tool for Symbolic Model Checking Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:35:04 Applied mathematics Formal methods Software Logic in computer science Model checking Electronic design automation Boolean algebra Boolean satisfiability problem Linear temporal logic Model checkers Theoretical computer science NuSMV

UPDATE